The book demonstrates how linearization may be used to give a diverse check on the correctness of the as - programmed model and explains how formal techniques of model validation may be used to produce a quantitative check on the simulation model ' s overall validity 本书论证了如何应用线性化检验已编程模型的正确性，说明了如何应用常规模型验证技术全面有效的检验模拟模型。
